Triple Representation Theorem for orthocomplete homogeneous effect algebras

Homogeneous orthocomplete effect algebras are covered by MV-algebras

Sharp and Meager Elements in Orthocomplete Homogeneous Effect Algebras

We prove that every orthocomplete homogeneous effect algebra is sharply dominating. Let us denote the greatest sharp element below x by x↓. For every element x of an orthocomplete homogeneous effect algebra and for every block B with x ∈ B, the interval [x↓, x] is a subset of B. For every meager element (that means, an element x with x↓ = 0), the interval [0, x] is a complete MV-effect algebra....

Representation theorem for convex effect algebras

Effect algebras have important applications in the foundations of quantum mechanics and in fuzzy probability theory. An effect algebra that possesses a convex structure is called a convex effect algebra. Our main result shows that any convex effect algebra admits a representation as a generating initial interval of an ordered linear space. This result is analogous to a classical representation ...

A Representation Theorem for Co-diagonalizable Algebras

This abstract is a summary of a lecture given at the Seminar of the Department of Logic and Methodology of Sciences, Wroc law University, 23 May 1985. The present work refers directly to the investigations of Buszkowski and Prucnal [1] and that of Esakia [2], generalizing their results. Our main representation theorem for co-diagonalizable algebras (Theorem 2) is obtained by application of cert...

A representation theorem for Boolean contact algebras

We prove a representation theorem for Boolean contact algebras which implies that the axioms for the Region Connection Calculus [20] (RCC) are complete for the class of subalgebras of the algebras of regular closed sets of weakly regular connected T1 spaces.